سید مصطفی خمینی؛ متفکری بزرگ و فقیهی فرهیخته